61. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
63. Basic concepts in computational physics /
پدیدآورنده : Benjamin A. Stickler, Ewald Schachinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical physics.,Physics-- Data processing.,Mathematical physics.,Physical Sciences & Mathematics.,Physics - General.,Physics-- Data processing.,Physics.
رده :
QC52
64. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
65. Complementarity, Duality and Symmetry in Nonlinear Mechanics
پدیدآورنده : by David Y. Gao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Differential equations, Partial.,Materials.,Mathematics.,Mechanics.,Physics.
66. Computational Complexity and Feasibility of Data Processing and Interval Computations
پدیدآورنده : by Vladik Kreinovich, Anatoly Lakeyev, Jiří Rohn, Patrick Kahl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Information theory.,Mathematical optimization.,Mathematics.
67. Computational Methods for Linear Integral Equations
پدیدآورنده : by Prem K. Kythe, Pratap Puri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Differential equations, Partial.,Electronic data processing.,Integral equations.,Mathematics.
68. Computational intelligence, cyber security and computational models :
پدیدآورنده : Geetha Ganapathi, Arumugam Subramaniam, Manuel Graña, Suresh Balusamy, Rajamanickam Natarajan, Periakaruppan Ramanathan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computer security, Congresses.,Artificial Intelligence.,Computational Intelligence.,Image Processing and Computer Vision.,Mathematics of Computing.,Systems and Data Security.,Artificial intelligence.,Computational intelligence.,Computer security.,Computer security.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Image processing.,Mathematical theory of computation.
رده :
Q342
69. Computer-controlled systems with delay :
پدیدآورنده : Efim N. Rosenwasser, Bernhard P. Lampe, Torsten Jeinsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic control-- Mathematics.,Automatic control-- Mathematics.
رده :
TJ213
.
R67
2019
70. Constraint-Based Scheduling
پدیدآورنده : by Philippe Baptiste, Claude Pape, Wim Nuijten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Mathematical optimization.,Mathematics.,Operations research.
71. Continuous-time stochastic control and optimization with financial applications /
پدیدآورنده : Huyên Pham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business mathematics.,Mathematical optimization.,Stochastic control theory.
رده :
QA402
.
37
.
P43
2009
72. Cooperative Control: Models, Applications and Algorithms
پدیدآورنده : edited by Sergiy Butenko, Robert Murphey, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Mathematical optimization.,Mathematics.,Systems theory.
73. Current Trends in Nonlinear Systems and Control
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Systems theory. ; Mathematical optimization. ; Vibration. ; Mathematics. ; Systems Theory, Control. ; Control Engineering. ; Automation and Robotics. ; Vibration, Dynamical Systems, Control. ; Systems and Information Theory in Engineering.
74. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
75. Disordered Systems and Biological Organization
پدیدآورنده : edited by E. Bienenstock, F. Fogelman Soulié, G. Weisbuch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Medical records -- Data processing.
رده :
QH313
.
E358
1986
76. Estimators for Uncertain Dynamic Systems
پدیدآورنده : by A. I. Matasov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Mathematical optimization.,Mechanical engineering.,Systems theory.
77. Excursions in harmonic analysis.
پدیدآورنده : Travis D. Andrews...[et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Harmonic analysis, Congresses
رده :
QA403
78. Excursions in harmonic analysis.
پدیدآورنده : Travis D. Andrews...[et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Harmonic analysis, Congresses
رده :
QA403
79. Forced migration, human rights and security /
پدیدآورنده : edited by Jane McAd
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
